|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 佐 ： [さ] 【名詞】 1. help ・ 藤 ： [ふじ] 【名詞】 1. wisteria ・ 理 ： [り] 【名詞】 1. reason ・ 理論 ： [りろん] 【名詞】 1. theory ・ 論 ： [ろん] 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment ・ 計 ： [けい] 1. (n,n-suf) plan ・ 計算 ： [けいさん] 1. (n,vs) (1) calculation 2. reckoning 3. count 4. (2) forecast ・ 計算機 ： [けいさんき] 【名詞】 1. computer 2. calculator ・ 機 ： [き, はた] (n) loom ・ 科 ： [か] 1. (n,n-suf) department 2. section ・ 科学 ： [かがく] 【名詞】 1. science ・ 科学者 ： [かがくしゃ] 【名詞】 1. scientist ・ 学 ： [がく] 【名詞】 1. learning 2. scholarship 3. erudition 4. knowledge ・ 学者 ： [がくしゃ] 【名詞】 1. scholar ・ 者 ： [もの] 【名詞】 1. person
佐藤 雅彦（さとう まさひこ、1947年― ）は、理論計算機科学を研究する研究者。京都大学名誉教授。 1971年東京大学理学部数学科卒。73年同大学院修士課程修了。京大数理解析研究所、東北大学電気通信研究所教授、京大教授、2012年定年退任、名誉教授。 数理論理学に基づくプログラム理論、定理証明・構成的プログラミング環境の計算機上での実現を研究テーマとしている。 東北大学時代に日本語入力システムのSKKを開発していたが、佐藤による開発は2000年に終了宣言を出している。 == 外部リンク == * 佐藤・五十嵐 研究室 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「佐藤雅彦 (理論計算機科学者)」の詳細全文を読む スポンサード リンク
|